Unfold `eq\_int` 0